1. Compositional Verification of Concurrent and Real-Time Systems
پدیدآورنده : by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
2. Symposium on the use of computers in mechanical engineering, proceedings of 13th December 1962
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Mechanical engineering
رده :
TJ
153
.
S9
3. تحلیل مسائل مهندسی مکانیک به کمک آباکوس (سطح متوسط و پیشرفته)
پدیدآورنده : / پدیدآوران ستار مالکی، رضا فرجادفر، علی رجبی
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : آباکوس,(Abaqus (Electronic resource,مهندسی مکانیک -- داده‌پردازی,Data processing -- Mechanical engineering,مهندسی مکانیک -- شبیه‌سازی کامپیوتری,Computer Simulation -- Mechanical engineering,مهندسی مکانیک -- مسائل، تمرین‌ها و غیره (عالی),(Problems, exercises, etc (Higher -- Mechanical engineering,روش المان‌های محدود -- نرم‌افزار,Software -- Finite elements method
رده :
TJ
۱۵۳
/
م
۲
ت
۳ ۱۳۹۵
